Search Results

Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala

Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala

Correct-by-Construction Cryptographic Arithmetic in Coq - Adam Chlipala | Lambda Days 2021

Correct-by-Construction Cryptographic Arithmetic in Coq - Adam Chlipala | Lambda Days 2021

Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises

Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises

Fiat Cryptography: Automatic Correct-by-Construction Generation of Low-Level Cryptographic Code

Fiat Cryptography: Automatic Correct-by-Construction Generation of Low-Level Cryptographic Code

[PEPM'23] Fast Cryptographic Code via Partial Evaluation

[PEPM'23] Fast Cryptographic Code via Partial Evaluation

Adam Chlipala Lecture 1, OPLSS 2015

Adam Chlipala Lecture 1, OPLSS 2015

Adam Chlipala Lecture 6, OPLSS 2015

Adam Chlipala Lecture 6, OPLSS 2015

Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises

Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises

10 12 13 22 DigitalTech Chlipala

10 12 13 22 DigitalTech Chlipala

Adam Chlipala Lecture 2, OPLSS 2015

Adam Chlipala Lecture 2, OPLSS 2015

Sifakis on Verimag and "correctness by construction."

Sifakis on Verimag and "correctness by construction."

[POPL'22] Certifying Derivation of State Machines from Coroutines

[POPL'22] Certifying Derivation of State Machines from Coroutines